Offensive fédéraliste et projet de convergence

Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM

This paper presents some results of the RNTL BOM project (B Optimizing Memory). The goal was to design and implement a translator from B to C easily adaptable to memory constraints (embedded software on smart cards). We propose an extension method of the basic data types able to include some types of the target language. We present how the translator is described by the way of translation rules...

Compression et accessibilité aux images de documents numérisés Application au projet DEBORA

On-line digital libraries using documents images meet some technical problem like the lack of detailed metadata for fine queries, the space used by images which limit their transmission through the network and the missing of a file format suited for the navigation among heterogeneous data. In this framework, we propose methods for digitised documents contents understanding in order to improve i...

Middleware Efficiently SCALable Proposition de Projet INRIA Systèmes numériques: Grilles et calculs hautes performances MESCAL

Le projet de Charte des droits fondamentaux de l’Union européenne

Eipascope 2000/3 19 Introduction Les Chefs d’Etat et de Gouvernement ont décidé lors du Conseil européen de Cologne qu’il y avait une nécessité “au stade actuel du développement de l’Union, d’établir une charte des droits fondamentaux afin d’ancrer leur importance exceptionnelle et leur portée de manière visible pour les citoyens de l’Union”. Le Conseil européen extraordinaire sur la justice et...

Le projet ANR INCOME, processus et outils logiciels pour des gestionnaires de contexte au dessus de l'Internet des objets

L’Internet des objets est une extension de l’Internet qui ouvre de nombreuses opportunités de construction de nouveaux services à haute valeur ajoutée dans de nombreux domaines. Cependant, les concepteurs de ces services doivent prendre en main des systèmes logiciels de plus en plus complexes. Le projet INCOME étudie la brique logicielle de gestion de contexte qui traite et achemine les informa...